Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management
نویسندگان
چکیده
Trust management is a form of distributed access control using distributed policy statements. Since one party may delegate partial control to another party, it is natural to ask what permissions may be granted as the result of policy changes by other parties. We study security properties such as safety and availability for a family of trust management languages, devising algorithms for deciding the possible consequences of certain changes in policy. While trust management is more powerful in certain ways than mechanisms in the access matrix model, and the security properties considered are more than simple safety, we find that in contrast to the classical HRU undecidability of safety properties, our primary security properties are decidable. In particular, most properties we studied are decidable in polynomial time. Containment, the most complicated security property we studied, is decidable in polynomial time for the simplest TM language in the family. The problem becomes coNP-hard when intersection or linked roles are added to
منابع مشابه
Presenting the Model of Tax Compliance with the realization approach of Eghtesad Moghavemati: The Role of Internal and Psychological Factors
Today, the concept of tax compliance has become a common phenomenon in the most countries and identifying the factors which affecting on it, specially internal and psychological factors instead of economic factors, attracted the attention of a large number of researchers in all over the world. So, the purpose of this study is to present a model of tax compliance with the realization approach of...
متن کاملنقش فضیلت سازمانی و رفتار شهروندی سازمانی در شجاعت اخلاقی حرفهای
The aim of this study is to examine the role of organizational virtuousness and organizational citizenship behavior in employees’ professional moral courage. The Statistical population consisted of all employees in the Isfahan Tele Communication in 2011. From this population, 141 employees were selected using simple random sampling. Data was collected through administration of scales of organiz...
متن کاملCompliance Checking in the PolicyMaker Trust Management System
Emerging electronic commerce services that use public-key cryptography on a mass-market scale require sophisticated mechanisms for managing trust. For example, any service that receives a signed request for action is forced to answer the central question \Is the key used to sign this request authorized to take this action?" In some services, this question reduces to \Does this key belong to thi...
متن کاملRelationship between People’s Trust in the Government and Their Compliance with Covid-19 Health Advice: A Case study of Tehran Residents
Introduction: Different people try to follow the health protocols and limit their daily behaviors in different ways to deal with Covid-19 Pandemic. In the meantime, trust is an important element as a facilitator of social cooperation and a creator of responsibility among people. The present study aimed to investigate the relationship between people’s trust in government and their compliance wit...
متن کاملModeling Trust Management System for Grids1
Grid computing has been widely accepted as a promising paradigm for large-scale resources sharing in recent years. However, the general authorization mechanism, called trust management system, for grids is not wellunderstood. The purpose of this paper is to provide a logic-based formal approach to modeling authorization mechanisms of grids. We develop a logicbased language, called Trust Logic, ...
متن کامل